Enforcing Programming Guidelines with Region Types and Effects

We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and effect system by Beringer, Grabowski, and Hofmann. It improves upon it by being parametrized over an arbitrary guideline supplied in the form of a finite monoid or automaton and a type annotation or mockup code for external methods. Furthermore, we add a powerful type inference based on precise interprocedural analysis and provide an implementation in the Soot framework which has been tested on a number of benchmarks including large parts of the Stanford SecuriBench.Comment: long version of APLAS'17 pape

Deep hypothermia prevents striatal alterations produced by perinatal asphyxia: Implications for the prevention of dyskinesia and psychosis

GABAergic medium spiny neurons are the main neuronal population in the striatum. Calbindin is preferentially expressed in medium spiny neurons involved in the indirect pathway. The aim of the present work is to analyze the effect of perinatal asphyxia on different subpopulations of GABAergic neurons in the striatum and to assess the outcome of deep therapeutic hypothermia. The uterus of pregnant rats was removed by cesarean section and the fetuses were exposed to hypoxia by immersion in water (19 min) at 37°C (perinatal asphyxia). The hypothermic group was exposed to 10°C during 30 min after perinatal asphyxia. The rats were euthanized at the age of one month (adolescent/adult rats), their brains were dissected out and coronal sections were immunolabeled for calbindin, calretinin, NeuN, and reelin. Reelin+ cells showed no staining in the striatum besides subventricular zone. The perinatal asphyxia (PA) group showed a significant decrease in calbindin neurons and a paradoxical increase in neurons estimated by NeuN staining. Moreover, calretinin+ cells, a specific subpopulation of GABAergic neurons, showed an increase caused by PA. Deep hypothermia reversed most of these alterations probably by protecting calbindin neurons. Similarly, there was a reduction of the diameter of the anterior commissure produced by the asphyxia that was prevented by hypothermic treatment.Fil: Vazquez, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Biología Celular y Neurociencia "Prof. Eduardo de Robertis". Universidad de Buenos Aires. Facultad de Medicina. Instituto de Biología Celular y Neurociencia; ArgentinaFil: Acuña, Andres. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Biología Celular y Neurociencia "Prof. Eduardo de Robertis". Universidad de Buenos Aires. Facultad de Medicina. Instituto de Biología Celular y Neurociencia; ArgentinaFil: Soliño, Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Biología Celular y Neurociencia "Prof. Eduardo de Robertis". Universidad de Buenos Aires. Facultad de Medicina. Instituto de Biología Celular y Neurociencia; ArgentinaFil: López Costa, Juan José. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Biología Celular y Neurociencia "Prof. Eduardo de Robertis". Universidad de Buenos Aires. Facultad de Medicina. Instituto de Biología Celular y Neurociencia; ArgentinaFil: Kargieman, Lucila. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Fisiología, Biología Molecular y Neurociencias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Fisiología, Biología Molecular y Neurociencias; ArgentinaFil: Loidl, Cesar Fabian. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Houssay. Instituto de Biología Celular y Neurociencia "Prof. Eduardo de Robertis". Universidad de Buenos Aires. Facultad de Medicina. Instituto de Biología Celular y Neurociencia; Argentin

Ready ... Go: Amplitude of the fMRI Signal Encodes Expectation of Cue Arrival Time

What happens when the brain awaits a signal of uncertain arrival time, as when a sprinter waits for the starting pistol? And what happens just after the starting pistol fires? Using functional magnetic resonance imaging (fMRI), we have discovered a novel correlate of temporal expectations in several brain regions, most prominently in the supplementary motor area (SMA). Contrary to expectations, we found little fMRI activity during the waiting period; however, a large signal appears after the “go” signal, the amplitude of which reflects learned expectations about the distribution of possible waiting times. Specifically, the amplitude of the fMRI signal appears to encode a cumulative conditional probability, also known as the cumulative hazard function. The fMRI signal loses its dependence on waiting time in a “countdown” condition in which the arrival time of the go cue is known in advance, suggesting that the signal encodes temporal probabilities rather than simply elapsed time. The dependence of the signal on temporal expectation is present in “no-go” conditions, demonstrating that the effect is not a consequence of motor output. Finally, the encoding is not dependent on modality, operating in the same manner with auditory or visual signals. This finding extends our understanding of the relationship between temporal expectancy and measurable neural signals

Development of parent- and teacher-reported emotional and behavioural problems in young people with intellectual disabilities: Does level of ID matter?

This study described similarities and differences in the 5-year stability and change of problem behaviour between youths attending schools for children with mild to borderline (MiID) versus moderate intellectual disabilities (MoID). A two-wave multiple-birth-cohort sample of 6 to 18-year-old was assessed twice across a 5-year interval using the Developmental Behaviour Checklist Primary Carer version (n = 718) and Teacher version (n = 313). For most types of problem behaviour youths with MiID and MoID showed similar levels of stability of individual differences, persistence and onset of psychopathology. Whenever differences were found, youths with MoID showed the highest level of stability, persistence and onset across informants. Mean levels of parent-reported, but not teacher-reported, problem behaviour, regardless of level of intellectual disability, decreased during the 5-year follow-up period. Youths with MoID and MiID are at risk for persistent psychopathology to a similar degree. Different informants showed to have a different evaluation of the level and the amount of change of problem behaviour, and should be considered complementary in the diagnostic process. © 2007 BILD Publications

Genetic, environmental and stochastic factors in monozygotic twin discordance with a focus on epigenetic differences

PMCID: PMC3566971This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited

Static analysis-based approaches for secure software development

Software security is a matter of major concern for software development enterprises that wish to deliver highly secure software products to their customers. Static analysis is considered one of the most effective mechanisms for adding security to software products. The multitude of static analysis tools that are available provide a large number of raw results that may contain security-relevant information, which may be useful for the production of secure software. Several mechanisms that can facilitate the production of both secure and reliable software applications have been proposed over the years. In this paper, two such mechanisms, particularly the vulnerability prediction models (VPMs) and the optimum checkpoint recommendation (OCR) mechanisms, are theoretically examined, while their potential improvement by using static analysis is also investigated. In particular, we review the most significant contributions regarding these mechanisms, identify their most important open issues, and propose directions for future research, emphasizing on the potential adoption of static analysis for addressing the identified open issues. Hence, this paper can act as a reference for researchers that wish to contribute in these subfields, in order to gain solid understanding of the existing solutions and their open issues that require further research

Trajectories in chronic disease accrual and mortality across the lifespan in Wales, UK (2005-2019), by area deprivation profile : linked electronic health records cohort study on 965,905 individuals

Funding: This work was supported by Health Data Research UK (HDRUK) Measuring and Understanding Multimorbidity using Routine Data in the UK (MUrMuRUK, HDR-9006; CFC0110). Health Data Research UK (HDR-9006) is funded by: UK Medical Research Council, Engineering and Physical Sciences Research Council, Economic and Social Research Council, the National Institute for Health Research (England), Chief Scientist Office of the Scottish Government Health and Social Care Directorates, Health and Social Care Research and Development Division (Welsh Government), Public Health Agency (Northern Ireland), British Heart Foundation, and Wellcome Trust. This work also was co-funded by the Medical Research Council (MRC) and the National Institute for Health Research (NIHR) through grant number MR/S027750/1. The work was supported by the ADR Wales programme of work, part of the Economic and Social Research Council (part of UK Research and Innovation) funded ADR UK (grant ES/S007393/1).Background  Understanding and quantifying the differences in disease development in different socioeconomic groups of people across the lifespan is important for planning healthcare and preventive services. The study aimed to measure chronic disease accrual, and examine the differences in time to individual morbidities, multimorbidity, and mortality between socioeconomic groups in Wales, UK. Methods  Population-wide electronic linked cohort study, following Welsh residents for up to 20 years (2000-2019). Chronic disease diagnoses were obtained from general practice and hospitalisation records using the CALIBER disease phenotype register. Multi-state models were used to examine trajectories of accrual of 132 diseases and mortality, adjusted for sex, age and area-level deprivation. Restricted mean survival time was calculated to measure time spent free of chronic disease(s) or mortality between socioeconomic groups. Findings  In total, 965,905 individuals aged 5-104 were included, from a possible 2·9m individuals following a 5-year clearance period, with an average follow-up of 13·2 years (12·7 million person-years). Some 673,189 (69·7 %) individuals developed at least one chronic disease or died within the study period. From ages 10 years upwards, the individuals living in the most deprived areas consistently experienced reduced time between health states, demonstrating accelerated transitions to first and subsequent morbidities and death compared to their demographic equivalent living in the least deprived areas. The largest difference were observed in 10 and 20 year old males developing multimorbidity (-0·45 years (99%CI:-0·45,-0·44)) and in 70 year old males dying after developing multimorbidity (-1·98 years (99%CI:-2·01,-1·95)). Interpretation  This study adds to the existing literature on health inequalities by demonstrating that individuals living in more deprived areas consistently experience accelerated time to diagnosis of chronic disease and death across all ages, accounting for competing risks.Publisher PDFPeer reviewe